Properties of categories tagged with 'limit–colimit interaction'
Found 36 properties
- is additive
- is Barr-coexact
- is Barr-exact
- has biproducts
- has cartesian filtered colimits
- satisfies CIP
- has cocartesian cofiltered limits
- is codistributive
- is coextensive
- has cofiltered-limit-stable epimorphisms
- is coregular
- is counital
- is countably codistributive
- is countably coextensive
- is countably distributive
- is countably extensive
- satisfies CSP
- has disjoint coproducts
- has disjoint finite coproducts
- has disjoint finite products
- has disjoint products
- is distributive
- has exact cofiltered limits
- has exact filtered colimits
- is extensive
- has filtered-colimit-stable monomorphisms
- is infinitary codistributive
- is infinitary coextensive
- is infinitary distributive
- is infinitary extensive
- is pointed
- is a pretopos
- has pullback-stable regular epimorphisms
- has pushout-stable regular monomorphisms
- is regular
- is unital